Revision: tla-tools--devo--0--patch-38
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Sat Sep  6 11:45:40 JST 2003
Standard-date: 2003-09-06 02:45:40 GMT
Modified-files: tla-cvs-sync tla-funs.awk
    tla-munge-archive-xids tla-scan-for-xids tla-update-tags
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-38
Summary: Use the correct term for explicit tags

